241. Symbolic and Quantiative Approaches to Resoning with Uncertainty :
پدیدآورنده : edited by Linda C. van der Gaag.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
Q334
.
E358
2013
242. System Modeling and Optimization XX :
پدیدآورنده : edited by E.W. Sachs, R. Tichatschke.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic data processing.,Mathematics.,Systems theory.
243. System and architecture :
پدیدآورنده : Sunil Kumar Muttoo, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer architecture, Congresses.,Computer networks, Congresses.,Computer science, Congresses.,Computer security, Congresses.,Information technology, Congresses.,Computer architecture.,Computer networks.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology.
رده :
QA76
.
9
.
A73
244. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
پدیدآورنده : M.C. Gaudel, J.P. Jouannaud )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
245. TAPSOFT'87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, 1987
پدیدآورنده : edited by Harmut Ehrig...]et al.[
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
249-250
246. TAPSOFT '87 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987. v.1.: Advanced seminar on foundations of innovative software development 1 and collquium on trees in algebra and programming )CAAP '87(
پدیدآورنده : Edited by Hartmut Ehrig...]et al.[
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Computer software - Development,Congresses ، Software engineering,Data processing - Congresses ، Trees )Graph theory(
رده :
QA
76
.
L4
v
.
249
247. TAPSOFT'97 : theory and practice of software development : 7th International Joint Conference CAAP/ FASE ... 1997 : proceedings
پدیدآورنده : Michel Bidoit, Max Dauchet )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
1214
248. Tapsof: Proceedings of the International Joint Conference on theary and Practice of Software Development
پدیدآورنده : Internation Joint Conference on theory and Practice of Software Development,edited by G.Goos and J. Hartmanis
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Computer Software - Development - Cpngresses,، Software Engineering - Congresses,، Trees )Graph theay(- Data Processing - Congresses
رده :
QA
76
.
76
.
D47
I57
1985
249. Text, speech, and dialogue :
پدیدآورنده : Petr Sojka, Aleš Horák, Ivan Kopeček, Karel Pala (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)
رده :
QA76
.
9
.
N38
250. The beauty of mathematics in computer science /
پدیدآورنده : Jun Wu ; translated from the Chinese edition by Rachel Wu and Yuxi Candice Wang.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics.,Machine learning.,Computer science-- Mathematics.,Informatik,Machine learning.,Mathematik
رده :
QA76
.
9
.
M35
W84
2019
251. The graph isomorphism problem : its structural complexity
پدیدآورنده : Kobler, Johannes
کتابخانه: (طهران)
موضوع : ، Computational complexity,، Graph theory -- Data processing,، Isomorphisms )Mathematics(
رده :
QA
267
.
7
.
K63
1993
252. The graph isomorphism problem : its structural complexity
پدیدآورنده : Kobler, Johannes, 8591-
کتابخانه: (طهران)
موضوع : ، Computational complexity,Data processing ، Graph theory,، Isomorphisms )Mathematics(
رده :
QA
267
.
7
.
K625
253. The semantic web -- ISWC 2018 :
پدیدآورنده : Denny Vrandečić, Kalina Bontcheva, Mari Carmen Suárez-Figueroa, Valentina Presutti, Irene Celino, Marta Sabou, Lucie-Aimée Kaffee, Elena Simperl (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic Web, Congresses.,Artificial Intelligence.,Data Mining and Knowledge Discovery.,Database Management.,Information Systems Applications (incl. Internet).,Mathematical Logic and Formal Languages.,Natural Language Processing (NLP).,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Natural Language Processing.,Data mining.,Databases.,Information retrieval.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Semantic Web.
رده :
TK5105
.
88815
254. Thirty essays on geometric graph theory
پدیدآورنده : János Pach, editor
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial geometry,Geometry-- Data processing,Graph theory
رده :
QA166
.
T45
2013
255. Thirty essays on geometric graph theory
پدیدآورنده : Janos Pach, editor
کتابخانه: (طهران)
موضوع : ، Graph theory,، Combinatorial geometry,Data processing ، Geometry
رده :
QA
166
.
T48
256. Topics in chromatic graph theory
پدیدآورنده : edited by Lowell W. Beineke, Robin J. Wilson; academic consultant, Bjarne Toft
کتابخانه: (طهران)
موضوع : Data processing ، Graph coloring,Data processing ، Graph theory
رده :
QA
166
.
247
.
T66
257. Topics in structural graph theory
پدیدآورنده : edited by Lowell W. Beineke, Robin J. Wilson; with academic consultant : Ortrud R. Oellermann
کتابخانه: (طهران)
موضوع : Data processing ، Graph theory
رده :
QA
166
.
T644
258. Topics in theoretical computer science :
پدیدآورنده : Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
259. Trace residue analysis :
پدیدآورنده : David A. Kurtz, editor.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Trace elements-- Analysis-- Statistical methods.
رده :
QD139
.
T7
T73
1984